finite sums